data Stream a = Cons a (Stream a)